Making knowledge explicit: How hard it is
نویسندگان
چکیده
منابع مشابه
Making knowledge explicit: How hard it is
Artemov’s logic of proofs LP is a complete calculus of propositions and proofs, which is now becoming a foundation for the evidence-based approach to reasoning about knowledge. Additional atoms in LP have form t : F , read as “t is a proof of F” (or, more generally, as “t is an evidence for F”) for an appropriate system of terms t called proof polynomials. In this paper, we answer two well-know...
متن کاملTR-2005003: Making Knowledge Explicit: How Hard It Is
Artemov’s logic of proofs LP is a complete calculus of propositions and proofs, which is now becoming a foundation for the evidence-based approach to reasoning about knowledge. Additional atoms in LP have form t : F , read as “t is a proof of F” (or, more generally, as “t is an evidence for F”) for an appropriate system of terms t called proof polynomials. In this paper, we answer two well-know...
متن کاملPlatelet Refractoriness and how it is formed
Abstract Background and Objectives Transfusion of platelet has become one of the main treatments for thrombocytopenic patients to reduce the severity and frequency of bleeding consequences. Failure to attain the desired level of platelets in a patient following platelet transfusion is defined as platelet refractoriness. The purpose of present paper is to review and study the mechanisms involve...
متن کاملhis massive Making It Explicit.
284 the fundamental philosophical lessons of EPM. Brandom's study guide and deVries and Triplett's commentary are complementary rather than competing accounts of Sellars's essay. Here we have Brandom's prolegomenon to any future attempt to make it through his massive Making It Explicit. There is nothing in [the six chapters that make up the body of Articulating Reasons] that will come as a surp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.03.010